]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7512fc) | patch
ci: Document how to build the image
authorFlorian Müllner <fmuellner@gnome.org>
Sat, 4 Apr 2020 00:35:12 +0000 (02:35 +0200)
committerverdre <jonas@dressler.it>
Tue, 28 Apr 2020 09:04:49 +0000 (09:04 +0000)
commit859927df3971ed199b5d972060594a97cd6a7e07
tree79d3dbe38f222f2d2e0ae7c61d3d8ce3c5831b22tree | snapshot
parente7512fcd790fdde4b7f929509cc72cc71519ff7acommit | diff
ci: Document how to build the image

Updating the CI image is rare enough to not know the involved
commands by heart, so adding a comment like mutter did a while
ago makes perfect sense.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1177
.gitlab-ci/Dockerfile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.